Some critical open problems of epistemic logics can be investigated in theframework of a quantum computational approach. The basic idea is to interpretsentences - like Alice knows that Bob does not understand that Pi is irrational- as pieces of quantum information (generally represented by density operatorsof convenient Hilbert spaces). Logical epistemic operators (to understand, toknow ...) are dealt with as (generally irreversible) quantum operations, whichare, in a sense, similar to measurement-procedures. This approach permits us tomodel some characteristic epistemic processes, that concern both human andartificial intelligence. For instance, the operation of \memorizing andretrieving information" can be formally represented, in this framework, byusing a quantum teleportation phenomenon.
展开▼
